Nuprl Definition : d-onlnk
0,22
postcript
pdf
onlnk(
l
;
mss
) == filter(
ms
.mlnk(
ms
) =
l
;
mss
)
latex
Definitions
filter(
P
;
l
)
,
x
.
A
(
x
)
,
a
=
b
,
mlnk(
m
)
FDL editor aliases
d-onlnk
origin
ms.mlnk(ms) = l;mss) ms.mlnk(ms) = l;mss) x.A(x)